Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
531	Parallel Quantum Computation∗ Norman Margolus MIT Laboratory For Computer Science Cambridge MassachusettsJune 1989 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:05:59 Computer science Quantum information science Information theory Quantum computer Quantum cryptography Computation Reversible computing Cellular automaton Actor model Theoretical computer science Applied mathematics Models of computation
532	Introduction Introduction M.-P. B´ eal et. al. (IGM et al.) Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-10-27 12:41:40 Combinatorics Coding theory Discrete mathematics Combinatorics on words Models of computation Code Prefix code Alphabet Variable-length code Formal languages Automata theory Mathematics
533	Logic and the Methodology of Science Autumn 2002 Preliminary Exam Draft August 23, Let ϕe be the eth partial recursive function in some standard enumeration, and let We be the domain of ϕe ). Show that there is Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Theory of computation Theoretical computer science Metalogic Model theory Recursively enumerable set Constructible universe Presentation of a group Ordinal number Ω-consistent theory Mathematics Mathematical logic Computability theory
534	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRMIT-LCS-TR-994 July 21, 2005 Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2008-08-05 15:15:23 Fault-tolerant computer systems Data synchronization Transaction processing Time Byzantine fault tolerance Theory of computation Transmission Control Protocol Timestamp Replication Computing Data Information
535	Church’s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Computability theory Theory of computation Lambda calculus Mathematical logic Church–Turing thesis Entscheidungsproblem Halting problem System F Computability Mathematics Theoretical computer science Computer science
536	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:17 Computer science Turing machine Theory of computation Theoretical computer science Models of computation Busy beaver Computability Turing Recursive transition network Software engineering Computing Computability theory
537	EClab 2002 Summer Lecture Series Introductory Lectures in Basic Evolutionary Computation Theory Jeff Bassett Thomas Jansen Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2007-06-21 16:40:23 Analysis Theory of computation Applied mathematics Mathematics Science Theoretical computer science Evolutionary computation Algorithm
538	How to Submit Your Final Camera-Ready Paper for the Genetic Programming 1998 Conference (GP-98) Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:20 Technology Genetic algorithm Automaton Finite-state machine Cellular automaton Automata theory Theory of computation Theoretical computer science
539	Math 260ABC Introduction to Mathematical Logic Fall 1988-Sprint 1989 Instructor: Sam Buss Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2009-01-29 21:32:37 Computer science Turing machine Models of computation Alan Turing Computable function Computability Busy beaver Universal Turing machine Computability theory Theoretical computer science Theory of computation
540	arXiv:quant-phv3 11 JulEfficient Discrete Approximations of Quantum Gates Aram W. Harrow Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:01 Applied mathematics Mathematical analysis Spectral theory Quantum circuit Information theory Measure theory Quantum gate Spectrum Quantum computer Theoretical computer science Quantum information science Models of computation

UPDATE